Feedback-controlled robotics-assisted treadmill exercise